(discrete state when $e$)($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if discrete(loc($e$);$x$) then $x$ when $e$ else $\cdot$ fi